📜 Proof Languages - abnv · Scour

Large Language Model for OWL Proofs

arxiv.org·1d

⚖️Inference Rules

Gödel’s Theorems (and logicisms) revisited

logicmatters.net·2d

🔗Concatenative Theory

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🧮Theorem Provers

Functional Logic Program Transformations

arxiv.org·1d

🏭Functional Compilers

Making a Language

thunderseethe.dev·9h

🔬programming language theory

Designing Boring Software with Functional Programming

agentultra.com·1d

🪞Homoiconicity

**Abstract:** This research proposes a novel system, the Recursive Proof Verification Engine (RPVE), that dramatically accelerates the verification of theore...

freederia.com·2d

🧮Theorem Provers

The Helpful Adversary

dev.to·1d·

Discuss: DEV

🐚Shell Languages

Calculus Made Easy

calculusmadeeasy.org·17h

DELTA-X: An Invariant, Auditable Reasoning Framework for Humans and AI

osf.io·1d·

Discuss: DEV

🧩Constraint Logic

Simplex, a workflow specification language for autonomous agents

github.com·1d·

Discuss: Hacker News

🎭Program Synthesis

On Learning Elixir

denvaar.dev·1d

🚂Error Propagation

New comment by Rochus in "Lies, Damned Lies and Proofs: Formal Methods Are Not Slopless"

news.ycombinator.com·4d·

Discuss: Hacker News

✅Type Checking

We built Cedar with automated reasoning and differential testing (2023)

amazon.science·2d·

Discuss: Hacker News

🧩Constraint Logic

Gödel, Turing, and AI： the Incomplete Space in Post-AI Architecture

jimiwen.substack.com·1d·

Discuss: Substack

🏛️Elm Architecture

Alexis King’s Blog

lexi-lambda.github.io·2d

🗂️Type Indexing

Use of Assertions

blog.regehr.org·17h

🔍Static Analysis

Rust async combinators for elegant and secure concurrency

kerkour.com·1d·

Discuss: r/rust

🪆Embedded DSLs

Verifying a Quantum State More Efficiently

link.aps.org·1d

🔗Hash Functions

Type-Safe Routing Without the Build Step

werkbank.dev·13h·

Discuss: Hacker News

⚙️TOML Parsers

Loading more...